Signed-off-by: Keir Fraser <keir@xensource.com>
break;
}
-void __attribute__((noreturn)) __machine_halt(void *unused)
+static void __machine_halt(void *unused) __attribute__((noreturn))
{
for ( ; ; )
__asm__ __volatile__ ( "hlt" );
* specified by the code and length parameters.
* We assume that length will aways be less that MAX_LENGTH!
*/
-void machine_real_restart(const unsigned char *code, unsigned length)
+static void machine_real_restart(const unsigned char *code, unsigned length)
{
local_irq_disable();